Introtologic - An Introduction To Symbolic Logic